Mirc32<tm1.2Jtm> MGI:5648485 miR-143/145<null> targeted insertion 1.2, Joshua T Mendell http://identifiers.org/mgd/MGI:5648485 Null/knockout miR<null>